Ontologies and Domain Theories
نویسنده
چکیده
Although there is consensus that a formal ontology consists of a set of axioms within some logical language, there is little consensus on how a formal ontology differs from an arbitrary theory. There is an intuitive distinction between the formal ontology and the set of domain theories that use the ontology, but there has been no characterization of this distinction in the context of first-order ontologies. In this paper we utilize the notions of definable sets and types from model theory mathematical logic to provide a semantic characterization of the domain theories for an ontology. We illustrate this approach with respect to several formal ontologies from mathematical logic and knowledge representation.
منابع مشابه
What Are Ontologies , and Why Do We Need Them ?
THEORIES IN AI FALL INTO TWO broad categories: mechanism theories and content theories. Ontologies are content theories about the sorts of objects, properties of objects, and relations between objects that are possible in a specified domain of knowledge. They provide potential terms for describing our knowledge about the domain. In this article, we survey the recent development of the field of ...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملPresenting a method for extracting structured domain-dependent information from Farsi Web pages
Extracting structured information about entities from web texts is an important task in web mining, natural language processing, and information extraction. Information extraction is useful in many applications including search engines, question-answering systems, recommender systems, machine translation, etc. An information extraction system aims to identify the entities from the text and extr...
متن کاملSpecial Track on Semantics, Ontologies, and Computational Linguistics
One of the most salient subfields of AI is computational linguistics, which includes its applied branch – natural language processing (NLP). Computational linguistics is a subfield of AI, developing methods and algorithms for all the aspects of language analysis and their computer implementation. We can see language analysis split into two parts: the theoretic analysis and the applicative one. ...
متن کامل